Modelling a product based workflow system in CPN tools

نویسندگان

  • Irene Vanderfeesten
  • Wil van der Aalst
  • Hajo A. Reijers
چکیده

A new approach to workflow process (re)design is the use of Product Based Workflow Design (PBWD) theory. This theory takes the workflow product as the central concept (instead of the workflow process) and provides a product data model of the structure of information processing in the workflow process. In this paper we introduce a prototype for applying PBWD constructed using CPN Tools. The goal of this prototype is to provide a tool for ‘experimentation’ with the product data model. The CPN model supports the step-by-step calculation and processing of data in the workflow process based on several strategies and provides insight in the way PBWD works. Finally, the prototype is evaluated with on the one hand a state space analysis to assess the correctness of the model and on the other hand a simulation of a sample product data model.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Specification of CPN models into MAS platform for the modelling of social policy issues: FUPOL project

Simulation transparency is becoming more crucial in the decision making process when quantitative computer tools are used to justify some strategies. The coloured petri net (CPN) formalism is a promising modelling approach to foster simulation transparency by means of state space traceability tools, which have been proven to be useful for modelling system dynamics with conflict patterns. E-gove...

متن کامل

From Real World Problems to Implementation Using Coloured Petri Nets and Translations Between Workflow Languages

This paper describes the BRITNeY suite, a tool which enables users to create visualizations of formal models. BRITNeY suite is integrated with CPN Tools, and we give an example of how to extend a simple stop-and-wait protocol with a visualization in the form of message sequence charts. We also show examples of animations created during industrial projects to give an impression of what is possib...

متن کامل

Technical Issues in Modelling the European Train Control System (etcs) Using Coloured Petri Nets and the Design/cpn Tools

At the Institute of Control and Automation Engineering Design/CPN has been used to model the European Control System (ETCS) within a project for the Deutsche Bahn AG (German railways). This paper reports of experiences in modelling this complex, distributed automation system using Coloured Petri Nets and the Design/CPN tools. We will concentrate on some technical issues. However, for motivation...

متن کامل

A CPN Provenance Model of Workflow: Towards Diagnosis in the Cloud

Workflow provenance is an important supportive component that encompasses knowledge sharing, product reusability and process verification. The emerging cloud computing paradigm offers new application opportunities but also raises research challenges, such as integrity, privacy, security and legal related issues. In this paper, we propose a Colored Petri Net (CPN) model for diagnosis based on Op...

متن کامل

Execution of UML Models with CPN Tools for Workflow Requirements Validation

Requirements validation is a critical task in any engineering project. The confrontation of stakeholders with static requirements models is not enough, since stakeholders with non computer science education are not able to discover all the inter-dependencies between the elicited requirements. Even with simple UML (unified modelling language) requirements models it is not easy for the developmen...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005